Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
511	Analyzing the Environment Structure of Higher-Order Languages using Frame Strings Matthew Might Georgia Institute of Technology, Atlanta, Georgia, USA Olin Shivers Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Subroutines Continuations Control flow Lambda calculus Continuation-passing style Functional programming Closure Call-with-current-continuation Continuation Software engineering Computer programming Computing
512	A Polynomial Time λ-calculus with Multithreading and Side Effects ∗ Antoine Madet Univ Paris Diderot, Sorbonne Paris Cit´e PPS, UMR 7126, CNRS, F[removed]Paris, France [removed] Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-09-26 03:33:14 Computability theory Lambda calculus Theoretical computer science Valuation Envelope Holomorphic functional calculus Mathematics Abstract algebra Mathematical analysis
513	GOO Reference Manual v46 Jonathan Bachrach MIT AI Lab November 19, [removed]Introduction Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2003-11-19 14:59:49 Functional programming Higher-order functions Lambda calculus Subroutines Recursion Anonymous function Monad Function Map Software engineering Declarative programming Computing
514	Computations of Gross–Stark units via Shintani zeta-functions Samit Dasgupta Kaloyan Slavov Harvard University Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2008-09-13 15:51:39 Orbifold Mathematical analysis Mathematics Holomorphic functional calculus
515	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
516	RESTRICTED JUMP INTERPOLATION IN THE D.C.E. DEGREES Carl G. Jockusch, Jr. and Angsheng Li∗ July 29, 2009 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:56:53 Spectral theory Constructible universe Turing degree Operator theory Ordinary differential equations Orbifold Holomorphic functional calculus Mathematics Mathematical analysis Theoretical computer science
517	Church Numerals Amazingly, any function that can be computed at all, such as factorial(5) or sqrt(7) or piglatin(Scratch), can be computed using only and . The study of how to do this is "lambda calculus," a mathematical Add to Reading List Source URL: byob.berkeley.edu Language: English - Date: 2010-05-10 03:05:25 Lambda calculus Computability theory Subroutines Theoretical computer science Functional programming Function Church encoding Calculus Eval Software engineering Computing Mathematics
518	Stability in geometric & functional inequalities A. Figalli The University of Texas at Austin www.ma.utexas.edu/users/figalli/ Alessio Figalli (UT Austin) Add to Reading List Source URL: www.6ecm.pl Language: English - Date: 2012-07-18 02:47:40 Isoperimetric inequality Brunn–Minkowski theorem Inequality Stability Mathematical analysis Mathematics Calculus of variations
519	STUDIA UNIV. “BABES ¸ –BOLYAI”, MATHEMATICA, Volume XLVI, Number 3, September 2001 INVARIANT SETS OF RANDOM VARIABLES IN COMPLETE METRIC SPACES ´ Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2007-10-08 12:15:24 Operator theory Probability space Probability theory Metric geometry Differential geometry Holomorphic functional calculus Itō diffusion Mathematical analysis Mathematics Geometry

UPDATE